Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

general chair, scientific chair

• Sophie Quinton was PC co-chair and organizing committee member of the First Workshop on Formal Methods for Timing Verification (FMTV'14).

• Alain Girault was PC co-chair and co-organizer of the Second Workshop on Reconciling Performance with Predictability (RePP'14), which took place on March 5th 2014, in Grenoble, France.

• Alain Girault was co-chair and co-organizer of the Workshop on Synchronous Programming (SYNCHRON'14), which took place in December 2014 in Aussois, France.

Scientific events selection

Participation in conference steering committees

• Jean-Bernard Stefani is the current chair of the Steering Committee of the IFIP FORTE conference series, and a member of the Stering Committee of the DisCoTec federated conference series.

Participation in conference program committees

• Pascal Fradet served in the program committees of the 13th International Conference on Modularity (MODULARITY'14) and of Journées Francophones des Langages Applicatifs (JFLA'14).

• Gregor Goessler served in the program committees of the 17th International Symposium on Component-Based Software Engineering (CBSE'14) and Design, Automation, and Test in Europe (DATE'14).

• Sophie Quinton served in the program committees of the 26th Euromicro Conference on Real-Time Systems (ECRTS'14), 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) and 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA'14) conferences as well as the First International Workshop on Multi-Objective Many-Core Design (MOMAC'14) and 2nd International Workshop on Mixed Criticality Systems (WMC'14) workshops and the Work-in-Progress session of ECRTS'14.

• Alain Girault served on the program committees of the International Conference on Design and Test in Europe (DATE'14), the Design Automation Conference (DAC'14), the International Symposium on Industrial Embedded Systems (SIES'14), and the International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS'14).

Reviewer

• Gregor Goessler reviewed articles for CDC'14, POST'14, and TACAS'14.

• Sophie Quinton reviewed an article for the 51th Design Automation Conference (DAC'14).

Journal

Member of the editorial board

• Jean-Bernard Stefani is a member of the editorial board of Annals of Telecommunications.

• Alain Girault is a member of the editorial board of the EURASIP Journal on Embedded Systems.

Reviewer

• Jean-Bernard Stefani reviewed articles for Theoretical Computer Science.

• Gregor Goessler reviewed articles for Science of Computer Programming and ACM Transactions on Embedded Computing Systems.

• Sophie Quinton reviewed articles for ACM Transactions on Embedded Computing, ACM Transactions on Design Automation of Electronic Systems and Real-Time Systems.

• Alain Girault reviewed articles for IEEE Trans. on Parallel and Distributed Systems and ACM Trans. on Design Automation of Electronic Systems